German-Spanish translation for "everybody laughed"

Our team has been informed that the translation for "everybody laughed" is missing and is verifying the word in question for acceptance in our online dictionaries.